surjective proof